The similarities between biological systems and distributed and mobile systems suggest that the theory of process calculi could be a useful starting point for understanding, if not predicting, the behaviour of complex biological systems.\ud\udTo formally model in vitro or in vivo experiments, appropriate quantitative extensions of process calculi\ud\udhave to be investigated. This paper focuses on Beta-binders, a language of processes with typed interaction sites which has been recently introduced to accurately represent biological entities.\ud\udHere the syntax and semantics of Beta-binders are enriched to achieve a stochastic version of it, in order to obtain quantitative measures on biological phenomena. The quantitative parameters are derived from typed interaction sites introducing the concept of affinity. The relevance of quantitative reasoning is outlined\ud\udrunning a biological example.
展开▼
机译：生物系统与分布式系统和移动系统之间的相似之处表明，过程计算的理论可能是了解（如果无法预测）复杂生物系统行为的有用起点。\ ud \ ud要正式建模体外或体内实验，必须对过程计算的适当定量扩展进行评估。本文着重介绍Beta-binders，它是一种具有类型化交互作用位点的过程语言，最近已被引入以准确地表示生物实体。\ ud \ ud在此处，丰富了Beta-binders的语法和语义，以实现其随机版本。为了获得对生物现象的定量测量。定量参数源自引入亲和力概念的类型化相互作用位点。通过生物学的例子概述了定量推理的相关性。
展开▼
